.CodeMirror
{
    /*border-top: 1px solid black;
    border-bottom: 1px solid black;*/
    height: 434px;
    font-size: small;
}

#h2 {
    font-family: Segoe UI,Tahoma,Arial;
    color: #262626;
    font-size: 27px;
    font-weight: lighter;
    margin-top: 40px;
    margin-bottom: 20px;
}

body {font-family: "Lato", sans-serif;}

/* Style the tab */
div.tab {
    overflow: hidden;
    border: 1px solid #ccc;
    background-color: #f1f1f1;
}

/* Style the links inside the tab */
div.tab a {
    float: left;
    display: block;
    color: black;
    text-align: center;
    padding: 14px 16px;
    text-decoration: none;
    transition: 0.3s;
    font-size: 17px;
}

/* Change background color of links on hover */
div.tab a:hover {
    background-color: #ddd;
}

/* Create an active/current tablink class */
div.tab a:focus, .active {
    background-color: #ccc;
}

/* Style the tab content */
.tabcontent {
    display: none;
    padding: 6px 12px;
    border: 1px solid #ccc;
    border-top: none;
}
.button {
    margin-bottom:10px;
    margin-top: 10px;
}